Semantics for Analytic Containment

Semantics for Analytic Containment

In 1977, R. B. Angell presented a logic for analytic containment, a notion of “relevant” implication stronger than Anderson and Belnap’s entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce...

The Query Containment Problem: Set Semantics vs. Bag Semantics

Query containment is a fundamental algorithmic task in database query processing and optimization. Under set semantics, the query-containment problem for conjunctive queries has long been known to be NP-complete. SQL queries, however, are typically evaluated under bag semantics and return multisets as answers, since duplicates are not eliminated unless explicitly specified. The exact complexity...

Semantics and Containment of Queries with Internal and External Conjunctions

We study conjunctive queries that combine information from multiple sources. The need for combining information is manifest for instance in multimedia systems. It has recently been recognized that query semantics for these systems should be based on some quantitative model, such as fuzzy logic. Further complications arise, however, since the semantics used internally by subsystems, and the sema...

Syntax and analytic semantics of LISA

We provide the syntax and semantics of the lisa (for “Litmus Instruction Set Architecture”) language. The parallel assembly language lisa is implemented in the herd7 tool (Alglave and Maranget, 2015) for simulating weak consistency models.

The Analytic Semantics of Weakly Consistent Parallelism